$\forall$$T$:Type, $L$:($T$ List). ($\neg$($L$ = [])) $\Rightarrow$ ($\exists$$x$:$T$. ($x$ $\in$ $L$))